home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / prlgbnch.lha / query.pl < prev    next >
Text File  |  1990-05-25  |  2KB  |  80 lines

  1. % generated: 17 November 1989
  2. % option(s): SOURCE_TRANSFORM_1
  3. %
  4. %   query
  5. %
  6. %   David H. D. Warren
  7. %
  8. %   query population and area database to find coun-
  9. %   tries of approximately equal population density
  10.  
  11. query :- query(_), fail.
  12. query.
  13.  
  14. query([C1,D1,C2,D2]) :- 
  15.     density(C1,D1), 
  16.     density(C2,D2),
  17.     D1 > D2,
  18.     T1 is 20*D1,
  19.     T2 is 21*D2,
  20.     T1 < T2.
  21.  
  22. density(C,D) :- 
  23.     pop(C,P),
  24.     area(C,A),
  25.     D is (P*100)//A.
  26.  
  27. % populations in 100000's
  28. pop(china,    8250).
  29. pop(india,    5863).
  30. pop(ussr,    2521).
  31. pop(usa,    2119).
  32. pop(indonesia,    1276).
  33. pop(japan,    1097).
  34. pop(brazil,    1042).
  35. pop(bangladesh,     750).
  36. pop(pakistan,     682).
  37. pop(w_germany,     620).
  38. pop(nigeria,     613).
  39. pop(mexico,     581).
  40. pop(uk,         559).
  41. pop(italy,     554).
  42. pop(france,     525).
  43. pop(philippines, 415).
  44. pop(thailand,     410).
  45. pop(turkey,     383).
  46. pop(egypt,     364).
  47. pop(spain,     352).
  48. pop(poland,     337).
  49. pop(s_korea,     335).
  50. pop(iran,     320).
  51. pop(ethiopia,     272).
  52. pop(argentina,     251).
  53.  
  54. % areas in 1000's of square miles
  55. area(china,     3380).
  56. area(india,     1139).
  57. area(ussr,      8708).
  58. area(usa,       3609).
  59. area(indonesia,  570).
  60. area(japan,      148).
  61. area(brazil,    3288).
  62. area(bangladesh,  55).
  63. area(pakistan,   311).
  64. area(w_germany,   96).
  65. area(nigeria,    373).
  66. area(mexico,     764).
  67. area(uk,          86).
  68. area(italy,      116).
  69. area(france,     213).
  70. area(philippines, 90).
  71. area(thailand,   200).
  72. area(turkey,     296).
  73. area(egypt,      386).
  74. area(spain,      190).
  75. area(poland,     121).
  76. area(s_korea,     37).
  77. area(iran,       628).
  78. area(ethiopia,   350).
  79. area(argentina, 1080).
  80.